Deterministic finite automaton - PDFSEARCH.IO - Document Search Engine

Deterministic finite automaton
Results: 142

#	Item
71	Improving the Capabilities of JFLAP Creating Effective User Interfaces in Learning for Theoretical Computer Science Ian C. McMahon Computer Science Department Duke University Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2014-06-16 14:48:07 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Deterministic pushdown automaton Turing machine Mealy machine Algorithm Models of computation Theory of computation Automata theory
72	A Topological Perspective on Diagnosis Andreas Bauer, ANU, Australia Abstract— We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the con Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Applied mathematics Büchi automaton Muller automaton Omega language Deterministic finite automaton Regular language Nondeterministic finite automaton Formal language Ω-automaton Automata theory Theoretical computer science Computer science
73	Microsoft Word - JOC24-3-2.doc Add to Reading List Source URL: www.csroc.org.tw Language: English - Date: 2014-05-27 10:49:49 Theoretical computer science Computer science Software engineering Formal languages String searching algorithm Deterministic finite automaton Boyer–Moore–Horspool algorithm Finite-state machine Aho–Corasick string matching algorithm Automata theory Models of computation String matching algorithms
74	NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions Ville Laurikari Helsinki University of Technology Laboratory of Computer Science PL 9700, 02015 TKK, Finland Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:07:21 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Regular expression Deterministic automaton String searching algorithm Powerset construction Regular language Automata theory Theoretical computer science Computer science
75	Proceedings of the International Multiconference on Computer Science and Information Technology pp. 659–666 ISBN[removed]4 ISSN[removed] Add to Reading List Source URL: www.proceedings2009.imcsit.org Language: English - Date: 2009-10-30 02:36:35 Computer science Applied mathematics Deterministic pushdown automaton Pushdown automaton Nondeterministic finite automaton Tree automaton Deterministic finite automaton Finite-state machine Tree traversal Automata theory Models of computation Theoretical computer science
76	Matching Trace Patterns with Regular Policies Franz Baader1, , Andreas Bauer2 , and Alwen Tiu2 1 TU Dresden, Germany [removed] 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-04-14 20:01:26 PSPACE-complete NP Regular language Deterministic finite automaton P FO Linear temporal logic Book:Theory Of Computation Theoretical computer science Complexity classes Applied mathematics
77	Efficient submatch addressing for regular expressions Master’s Thesis Ville Laurikari Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:06:57 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular expression Finite-state machine Regular language Nondeterministic finite automaton String searching algorithm Automata theory Formal languages Theoretical computer science
78	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
79	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
80	Efficient Solutions for the Complement of wwR and the Complement of ww Allaoua Refoufi Computer Science Department University of Sétif Algéria Add to Reading List Source URL: dline.info Language: English - Date: 2015-01-12 10:33:13 Theoretical computer science Formal languages Computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Deterministic finite automaton Stack Chomsky hierarchy Automata theory Theory of computation Models of computation

UPDATE